Manfred Broy - PDFSEARCH.IO - Document Search Engine

Manfred Broy
Results: 46

#	Item
31	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.1.A-2 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:13 Scientific modeling Differential equations Diagrams Software architecture Architecture description language Modeling language Hybrid system Object Process Methodology Hybrid automaton Component-based software engineering Conceptual model Model checking
32	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.2.A-2 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:12 Systems engineering Software architecture Software design Edsger W. Dijkstra Object Process Methodology Systems integrator Decomposition Conceptual model View model Architecture of Interoperable Information Systems
33	Modeling Software and System Reliability Manfred Broy Lehrstuhl für Software & Systems Engineering Technische Universität München Institut für Informatik Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2014-10-11 11:26:01
34	Vorstellung der Nationalen Roadmap Embedded Systems durch den Steuerkreis Dr. Reinhold Achatz / Klaus Beetz, Siemens AG Prof. Dr. Dr. h. c. Manfred Broy, Technische Universität München Add to Reading List Source URL: www.safetrans-de.org Language: German - Date: 2010-08-24 10:59:09
35	> agendaCPS Integrierte Forschungsagenda Cyber-Physical Systems Eva Geisberger/Manfred Broy (Hrsg.) acatech STUDIE Add to Reading List Source URL: www.acatech.de Language: German - Date: 2012-03-12 19:00:00
36	Engineering Theories of Software Construction, Tony Hoare, Manfred Broy and Ralf Steinbruggen eds; Proceedings of NATO Summer School, Marktoberdorf; IOS Press, Amsterdam, August 2000, pp3-20. Problem Analysis and Structu Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2004-11-17 13:18:06 Systems analysis Systems science Problem frames approach Data modeling Systems engineering Systems theory Science
37	Microsoft PowerPoint - ICSE2008_SE40_BroyV0.2.ppt Add to Reading List Source URL: icse08.upb.de Language: English - Date: 2008-06-06 08:28:59 Science Manfred Broy Friedrich L. Bauer Engineering Reliability engineering Software engineer Edsger W. Dijkstra Systems engineering Application software Software engineering Computing Software engineers
38	Alberto Lluch Lafuente – Curriculum Vitae up to July 4, 2014 – Personal Information Surnames First name Add to Reading List Source URL: dl.dropboxusercontent.com Language: English IMT Institute for Advanced Studies Lucca Lluch CHIC Manfred Broy Model checking
39	05AE-268 AutoMoDe – Notations, Methods, and Tools for Model-Based Development of Automotive Software Andreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schätz Institut für Informatik, Technische Universität Münche Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:20 Systems engineering Diagrams Systems architecture Data management EAST-ADL Unified Modeling Language Abstraction Data flow diagram Software design Software engineering Design Software architecture
40	Model-based runtime analysis of distributed reactive systems Andreas Klaus Bauer Institut fu ¨ r Informatik Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-05-18 18:48:18 Computer science Software engineering Manfred Broy Runtime verification Model checking

UPDATE